diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1775,7 +1775,7 @@ echo "CLOCKLIBS=$CLOCKLIBS" >> $config_host_mak echo "/* Automatically generated by configure - do not modify */" > $config_host_h -$source_path/create_config < $config_host_mak >> $config_host_h +$SHELL $source_path/create_config < $config_host_mak >> $config_host_h if test -f ${config_host_h}~ ; then if cmp -s $config_host_h ${config_host_h}~ ; then @@ -2099,7 +2099,7 @@ fi echo "/* Automatically generated by configure - do not modify */" > $config_h echo "#include \"../config-host.h\"" >> $config_h -$source_path/create_config < $config_mak >> $config_h +$SHELL $source_path/create_config < $config_mak >> $config_h if test -f ${config_h}~ ; then if cmp -s $config_h ${config_h}~ ; then |