make-load.sh
author tomas@localhost
Thu, 01 Nov 2007 14:46:11 +0100
changeset 0 c045670f36e9
permissions -rw-r--r--
Imported queue-fix-1.4
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
0
c045670f36e9 Imported queue-fix-1.4
tomas@localhost
parents:
diff changeset
     1
echo 'main="$1"; shift'
c045670f36e9 Imported queue-fix-1.4
tomas@localhost
parents:
diff changeset
     2
echo exec "$LD" '-o "$main" "$main".o ${1+"$@"}'