| changeset 6562 | ac091e18b9fc |
| parent 6561 | 793b33191ce3 |
| child 6567 | 8338dd394144 |
--- a/Admin/makerpm Mon May 03 10:47:32 1999 +0200 +++ b/Admin/makerpm Mon May 03 10:51:44 1999 +0200 @@ -64,7 +64,7 @@ # build cd "$TMP/BUILD$ROOT/$ISABELLE_NAME" -./configure +( PATH=/bin:$PATH; ./configure ) ./build -b $LOGICS ./bin/isatool install -d "$ISABELLE_HOME" -p "$TMP/BUILD$BIN" COMPILER=$(./bin/isatool getenv -b ML_IDENTIFIER)