From a9c0d60adb7fe53d436c36c0f68901d47f19b534 Mon Sep 17 00:00:00 2001 From: Martin Bravenboer Date: Wed, 28 Mar 2007 17:49:51 +0000 Subject: [PATCH] disabled sharpbang test svn path=/nixpkgs/trunk/; revision=8458 --- pkgs/development/compilers/ocaml/configure-3.09.1 | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/pkgs/development/compilers/ocaml/configure-3.09.1 b/pkgs/development/compilers/ocaml/configure-3.09.1 index d61dcdada50d..ecfdc90e672c 100755 --- a/pkgs/development/compilers/ocaml/configure-3.09.1 +++ b/pkgs/development/compilers/ocaml/configure-3.09.1 @@ -676,8 +676,9 @@ fi # Do #! scripts work? -if (SHELL=/bin/sh; export SHELL; (./sharpbang || ./sharpbang2) >/dev/null); then - echo "#! appears to work in shell scripts" +# BRAVO: check disabled for NixOS +# if (SHELL=/bin/sh; export SHELL; (./sharpbang || ./sharpbang2) >/dev/null); then +# echo "#! appears to work in shell scripts" case "$host" in *-*-sunos*|*-*-unicos*) echo "We won't use it, though, because under SunOS and Unicos it breaks" @@ -690,10 +691,10 @@ if (SHELL=/bin/sh; export SHELL; (./sharpbang || ./sharpbang2) >/dev/null); then *) echo "SHARPBANGSCRIPTS=true" >> Makefile;; esac -else - echo "No support for #! in shell scripts" - echo "SHARPBANGSCRIPTS=false" >> Makefile -fi +# else +# echo "No support for #! in shell scripts" +# echo "SHARPBANGSCRIPTS=false" >> Makefile +# fi # Write the OS type (Unix or Cygwin)