diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-07-28 11:25:41 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-07-28 11:28:19 +0200 |
| commit | 3642eed625296d4ad3b3b3c46a90914d34ad148c (patch) | |
| tree | 84df14ad0da95058cb430c5c9aff29d39928db54 | |
| parent | 5707e60ca3fadb4b5ba1f35dccbb22a0c524ed8c (diff) | |
| download | linux-conf-perf-3642eed625296d4ad3b3b3c46a90914d34ad148c.tar.gz linux-conf-perf-3642eed625296d4ad3b3b3c46a90914d34ad148c.tar.bz2 linux-conf-perf-3642eed625296d4ad3b3b3c46a90914d34ad148c.zip | |
Fix shell incompatibility script construct
| -rw-r--r-- | Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -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: |