diff options
Diffstat (limited to 'make-load.sh')
| -rwxr-xr-x | make-load.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/make-load.sh b/make-load.sh new file mode 100755 index 0000000..de07d2e --- /dev/null +++ b/make-load.sh @@ -0,0 +1,2 @@ +echo 'main="$1"; shift' +echo exec "$LD" '-o "$main" "$main".o ${1+"$@"}' |