Fix gac to work with /bin/sh that is not bash

gap-system · Apr 25, 2017 · 1c1c182 · 1c1c182
1 parent 4ca9867
commit 1c1c182
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cnf/gac.in b/cnf/gac.in
@@ -122,7 +122,7 @@ c_compile () {
 ##
 c_link_dyn () {
     echo ${c_dyn_linker} ${c_dyn_link_options} -o $1 $2 ${c_addlibs}
-    output_la=${1/%.so/.la}
+    output_la=${1%.so}.la
     output_dir=$(dirname $1)
     ${c_dyn_linker} ${c_dyn_link_options} -o "$output_la" $2 ${c_addlibs} || exit 1
     cp -r $output_dir/.libs/*.so $output_dir