diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-02-21 14:00:46 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-02-21 14:00:46 +0000 |
| commit | 6c9fdb17fbda181fc09a9ce1f49662ef522d006b (patch) | |
| tree | f66d0bdfdf0119c0fac19c675d174630b5cc1a37 /tests | |
| parent | b824a1daeefd1611c8d84432dc0b2b38f24bbbfd (diff) | |
* Don't use $SHELL.
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/Makefile.am | 2 | ||||
| -rw-r--r-- | tests/gc-runtime.builder.sh | 8 | ||||
| -rw-r--r-- | tests/gc-runtime.nix.in | 2 |
3 files changed, 2 insertions, 10 deletions
diff --git a/tests/Makefile.am b/tests/Makefile.am index 0b3437578..bfb8508a0 100644 --- a/tests/Makefile.am +++ b/tests/Makefile.am @@ -43,7 +43,7 @@ EXTRA_DIST = $(TESTS) \ fallback.nix.in \ user-envs.nix.in user-envs.builder.sh \ fixed.nix.in fixed.builder1.sh fixed.builder2.sh \ - gc-runtime.nix.in gc-runtime.builder.sh \ + gc-runtime.nix.in \ check-refs.nix.in \ filter-source.nix.in \ $(wildcard lang/*.nix) $(wildcard lang/*.exp) $(wildcard lang/*.exp.xml) $(wildcard lang/*.flags) \ diff --git a/tests/gc-runtime.builder.sh b/tests/gc-runtime.builder.sh deleted file mode 100644 index a8c2d3e09..000000000 --- a/tests/gc-runtime.builder.sh +++ /dev/null @@ -1,8 +0,0 @@ -mkdir $out - -cat > $out/program <<EOF -#! $SHELL -sleep 10000 -EOF - -chmod +x $out/program diff --git a/tests/gc-runtime.nix.in b/tests/gc-runtime.nix.in index 5767d0370..310d44ce8 100644 --- a/tests/gc-runtime.nix.in +++ b/tests/gc-runtime.nix.in @@ -5,7 +5,7 @@ let { mkdir $out cat > $out/program <<EOF -#! $SHELL +#! @shell@ sleep 10000 EOF |