aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-07-28 11:25:41 +0200
committerKarel Kočí <cynerd@email.cz>2015-07-28 11:28:19 +0200
commit3642eed625296d4ad3b3b3c46a90914d34ad148c (patch)
tree84df14ad0da95058cb430c5c9aff29d39928db54
parent5707e60ca3fadb4b5ba1f35dccbb22a0c524ed8c (diff)
downloadlinux-conf-perf-3642eed625296d4ad3b3b3c46a90914d34ad148c.tar.gz
linux-conf-perf-3642eed625296d4ad3b3b3c46a90914d34ad148c.tar.bz2
linux-conf-perf-3642eed625296d4ad3b3b3c46a90914d34ad148c.zip
Fix shell incompatibility script construct
-rw-r--r--Makefile8
1 files changed, 4 insertions, 4 deletions
diff --git a/Makefile b/Makefile
index e08f4d2..3788bff 100644
--- 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: