summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorbringert <bringert@cs.chalmers.se>2005-12-08 09:39:36 +0000
committerbringert <bringert@cs.chalmers.se>2005-12-08 09:39:36 +0000
commitdf5ce0a25607bf85ccc7658f6554fa1ae3bd4dc5 (patch)
treece21616841a05f39600a1d1315b163f82dae87f6
parentfeb2265d8f49eb14d33f837a6eec606f0fcb6127 (diff)
Transfer: Added compile_all.sh.
-rw-r--r--transfer/compile_all.sh5
1 files changed, 5 insertions, 0 deletions
diff --git a/transfer/compile_all.sh b/transfer/compile_all.sh
new file mode 100644
index 000000000..d229d4dec
--- /dev/null
+++ b/transfer/compile_all.sh
@@ -0,0 +1,5 @@
+#!/bin/sh
+
+for f in lib/*.tra examples/*.tra; do
+ ./transferc -ilib $f;
+done