Fix shell incompatibility script construct

diff --git a/Makefile b/Makefile
index e08f4d2374419d54ff97782d56c17f48b44faeae..3788bffec3e8ac677c42b241e1c3f4f125dd2212 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -99,21 +99,21 @@ distclean_buildroot:
        scripts/confmk.py
 
 parse_kconfig:
-       @if [[ `$(MAKE) -C scripts/parse_kconfig/ -q; echo $$?` != "0" ]]; then \
+       @if [ `$(MAKE) -C scripts/parse_kconfig/ -q; echo $$?` != "0" ]; then \
        $(MAKE) -C scripts/parse_kconfig/; fi
 
 write_config:
-       @if [[ `$(MAKE) -C scripts/write_config/ -q; echo $$?` != "0" ]]; then \
+       @if [ `$(MAKE) -C scripts/write_config/ -q; echo $$?` != "0" ]; then \
        $(MAKE) -C scripts/write_config/; fi
 
 allconfig:
-       @if [[ `$(MAKE) -C scripts/allconfig/ -q; echo $$?` != "0" ]]; then \
+       @if [ `$(MAKE) -C scripts/allconfig/ -q; echo $$?` != "0" ]; then \
        $(MAKE) -C scripts/allconfig/; fi
 
 picosat:
        @if [ ! -e scripts/picosat-959/makefile ]; then \
        cd scripts/picosat-959 && ./configure; fi
-       @if [[ `$(MAKE) -C scripts/picosat-959 -q; echo $$?` != "0" ]]; then \
+       @if [ `$(MAKE) -C scripts/picosat-959 -q; echo $$?` != "0" ]; then \
        $(MAKE) -C scripts/picosat-959; fi
 
 buildroot/.config: