diff options
| -rwxr-xr-x | extra/scripts/initfini.awk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extra/scripts/initfini.awk b/extra/scripts/initfini.awk index a079d3442..3f0bb5e26 100755 --- a/extra/scripts/initfini.awk +++ b/extra/scripts/initfini.awk @@ -8,7 +8,7 @@ BEGIN \ { alignval=""; endp=0; end=0; - system("/bin/touch crt[in].S"); + system("touch crt[in].S"); system("/bin/rm -f crt[in].S"); omitcrti=0; omitcrtn=0; |