Merge branch 'FSM' of https://github.com/jl777/komodo into jl777-FSM

2019-02-26 09:42:51 +08:00
parent 9ac9890188 37d5ea3558
commit 5e91fa1632
79 changed files with 13960 additions and 653 deletions
--- a/zcutil/build.sh
+++ b/zcutil/build.sh
@@ -106,14 +106,7 @@ CONFIG_SITE="$PWD/depends/$HOST/share/config.site" ./configure "$HARDENING_ARG"
 WD=$PWD
 cd src/cc
 echo $PWD
-
-if make "$@"; then
-  echo CCLIB BUILD SUCCESSFUL
-else
-  echo CCLIB BUILD FAILED
-  exit 1
-fi
-
+./makerogue
 cd $WD

 "$MAKE" "$@" V=1