diff --git a/c/build_script.c b/c/build_script.c index e595d6c521c7c648932828fc35fb28b248ce5df8..3c820d0da0b57652defdf42b6addd805bac90a04 100644 --- a/c/build_script.c +++ b/c/build_script.c @@ -184,6 +184,11 @@ void Create_script() "then\n" " ORCHESTRATOR_OPTIONS+=\" -w ConcurrencyView.pro \"\n" "fi\n\n" + "if [ -f user_init_post.sh ]\n" + "then\n" + " echo -e \"${INFO} Executing user-defined post-init script\"\n" + " source user_init_post.sh\n" + "fi\n\n" "if [ ! -z \"$USE_POHIC\" ]\n" "then\n" " OUTPUTDIR=binary.c\n" @@ -194,13 +199,6 @@ void Create_script() "else\n" " OUTPUTDIR=binary\n" "fi\n\n" - ); - - fprintf (script, "if [ -f user_init_post.sh ]\n" - "then\n" - " echo -e \"${INFO} Executing user-defined init script\"\n" - " source user_init_post.sh\n" - "fi\n\n" "cd \"$CWD\" && assert-builder-ocarina.py \\\n" "\t--fast \\\n" "\t--debug \\\n");