annotate ibin/c @ 5177:94af82d3a839

<oerjan> addquote <coppro> at one point I\'m pretty sure I fixed a sound problem with "apt-get remove pulseaudio" and it wasn\'t even installed
author HackBot
date Sat, 06 Dec 2014 13:48:15 +0000
parents 3c9fc2ed23fd
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1075
33a6019d8e99 <Gregor> mkdir ibin; for i in bin/*; do if [ "`grep \'\\. lib/interp\' $i`" ]; then mv $i ibin/; fi; done; printf \'#!/bin/sh\\nCMD=`cut -d\' \' -f1 "$1"`\\nARG=`cut -d\' \' -f2- "$2"`\\nexec ibin/$CMD "$ARG"\' > bin/interp; chmod 0755 bin/interp
HackBot
parents:
diff changeset
1 #!/bin/sh
33a6019d8e99 <Gregor> mkdir ibin; for i in bin/*; do if [ "`grep \'\\. lib/interp\' $i`" ]; then mv $i ibin/; fi; done; printf \'#!/bin/sh\\nCMD=`cut -d\' \' -f1 "$1"`\\nARG=`cut -d\' \' -f2- "$2"`\\nexec ibin/$CMD "$ARG"\' > bin/interp; chmod 0755 bin/interp
HackBot
parents:
diff changeset
2 . lib/interp
4911
3c9fc2ed23fd <oerjan> sed -i \'s/[$]0/c/\' ibin/c
HackBot
parents: 4910
diff changeset
3 interp_file "./interps/gcccomp/gcccomp c"