]> Kevux Git Server - fll/commitdiff
Bugfix: build headers first
authorKevin Day <kevin@kevux.org>
Wed, 7 Mar 2012 04:40:57 +0000 (22:40 -0600)
committerKevin Day <kevin@kevux.org>
Wed, 7 Mar 2012 04:40:57 +0000 (22:40 -0600)
It is entirely possible that building the headers first is the smarter thing to do.
Afterall, the source files may in fact actually use the headers they provide.

build/scripts/generate.sh

index d646bf478368efc718a0fa9f679e3591f1c325eb..3289ff35e80b79a855e8ec8e7dc8b6094ed82c89 100644 (file)
@@ -236,7 +236,13 @@ generate_operation_build(){
   local sources=
   local i=
 
-  if [[ $shared == "yes" ]] ; then
+  if [[ $sources_headers != "" ]] ; then
+    for i in $sources_headers ; do
+      cp -vf sources/c/$i ${path_build}includes/level_$level/ || failure=1
+    done
+  fi
+
+  if [[ $failure == "" && $shared == "yes" ]] ; then
     if [[ $sources_library != "" ]] ; then
       for i in $sources_library ; do
         sources="${sources}sources/c/$i "
@@ -260,7 +266,7 @@ generate_operation_build(){
       echo $compiler $arguments ${variables[$(generate_id flags_shared)]} ${variables[$(generate_id flags_program)]} $sources -o ${path_build}programs/$name
       $compiler $arguments ${variables[$(generate_id flags_shared)]} ${variables[$(generate_id flags_program)]} $sources -o ${path_build}programs/$name || failure=1
     fi
-  else
+  elif [[ $failure == "" ]] ; then
     if [[ $sources_library != "" ]] ; then
       for i in $sources_library ; do
         sources="${sources}sources/c/$i "
@@ -281,12 +287,6 @@ generate_operation_build(){
     fi
   fi
 
-  if [[ $failure == "" && $sources_headers != "" ]] ; then
-    for i in $sources_headers ; do
-      cp -vf sources/c/$i ${path_build}includes/level_$level/ || failure=1
-    done
-  fi
-
   if [[ $failure != "" ]] ; then
     echo -e "${c_error}ERROR: failed to build.$c_reset"
     generate_cleanup