1 files changed, 0 insertions, 31 deletions
diff --git a/build.sh b/build.sh
deleted file mode 100755
index 53ad6cb..0000000
--- a/build.sh
+++ /dev/null
@@ -1,31 +0,0 @@
-#!/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"