Call user script before checking for POHIC

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");