Changeset bad406 for util/src/grep_shielding.sh.in

Timestamp:

Aug 18, 2008, 11:40:06 AM (17 years ago)

Author:

Frederik Heber <heber@…>

Children:

2b19bb

Parents:

8e2a42

Message:

renamed all shell files to sh.in, replaced /bin/sh by @SHELL@ and included them in configure.ac

File:

• util/src/grep_shielding.sh.in (moved) (moved from util/src/grep_shielding.sh ) (1 diff)

util/src/grep_shielding.sh.in

@@ -1 @@
-#!/bin/sh
+#!@SHELL@
 #
 # greps and reformats shielding values from multiple logs