diff options
Diffstat (limited to 'build.sh')
-rwxr-xr-x | build.sh | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/build.sh b/build.sh new file mode 100755 index 0000000..53ad6cb --- /dev/null +++ b/build.sh @@ -0,0 +1,31 @@ +#!/bin/sh +start=`pwd` +dir=`dirname "$0"` +if [ "$1" = 'clean' ] ; then + set -x + cd $dir + rm -f *.o + cd "$start" + exit +fi +cc='tcc' +debug='-g' +release='-O2' +cflags="-c -std=c99" +if [ "$1" = "debug" ] ; then + cflags="$debug $cflags" +else + cflags="$release $cflags" +fi +set -x +cd $dir +$cc $cflags prbm.c +$cc $cflags arena.c +$cc $cflags prbs.c +$cc $cflags linux.c +ar rcs libprb.a\ + prbm.o \ + arena.o \ + prbs.o \ + linux.o +cd "$start" |