move everything out of trunk

[lttv.git] / trunk / verif / lttng / run

diff --git a/trunk/verif/lttng/run b/trunk/verif/lttng/run
deleted file mode 100755 (executable)
index 8a2cf84..0000000
--- a/trunk/verif/lttng/run
+++ /dev/null
@@ -1,8 +0,0 @@
-#!/bin/bash
-
-#avail. mem
-MEM=15360
-
-../Spin/Src5.1.6/spin -a buffer.spin
-cc -DMEMLIM=${MEM} -DSAFETY -o pan pan.c
-./pan