added shell command
authorChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Wed, 6 Sep 2006 12:04:57 +0000 (12:04 +0000)
committerChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Wed, 6 Sep 2006 12:04:57 +0000 (12:04 +0000)
ir/be/test/makereport.sh

index 31e952d..14bd3d9 100755 (executable)
@@ -1,3 +1,5 @@
+#!/bin/sh
+
 EDG_BIN="eccp"
 EDG_CFLAGS="${ADDCFLAGS} -O3"
 GCC_CFLAGS="-O3 -g -fomit-frame-pointer"