Skip to content
Snippets Groups Projects
Commit 93aae448 authored by Martin Stjernholm's avatar Martin Stjernholm
Browse files

Cannot use pike -x precompile.

parent 90c329a1
No related branches found
No related tags found
No related merge requests found
...@@ -10,15 +10,16 @@ fi ...@@ -10,15 +10,16 @@ fi
exec 5>&1 1>&2 exec 5>&1 1>&2
if [ x"$1" = xprecompile.pike ] ; then # Disabled - we need to use precompile.pike in our own tree.
if pike -x 2>&1 | grep precompile > /dev/null 2>&1 ; then #if [ x"$1" = xprecompile.pike ] ; then
shift # if pike -x 2>&1 | grep precompile > /dev/null 2>&1 ; then
# FIXME: What about CACHE_OUTPUT here? # shift
echo "precompile: pike -x precompile $@" # # FIXME: What about CACHE_OUTPUT here?
if pike -x precompile "$@" >&5; then exit 0; fi # echo "precompile: pike -x precompile $@"
set - "precompile.pike" "$@" # if pike -x precompile "$@" >&5; then exit 0; fi
fi # set - "precompile.pike" "$@"
fi # fi
#fi
TMP_BUILDDIR="@BUILDDIR@" TMP_BUILDDIR="@BUILDDIR@"
TMP_BINDIR="@BINDIR@" TMP_BINDIR="@BINDIR@"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment