-.PHONY: parse_kconfig
-parse_kconfig:
- @if ! $(MAKE) -C scripts/parse_kconfig/ -q; then \
- $(MAKE) -C scripts/parse_kconfig/; fi
-
-.PHONY: write_config
-write_config:
- @if ! $(MAKE) -C scripts/write_config/ -q; then \
- $(MAKE) -C scripts/write_config/; fi
-
-.PHONY:allconfig
-allconfig:
- @if ! $(MAKE) -C scripts/allconfig/ -q; then \
- $(MAKE) -C scripts/allconfig/; fi
-
-.PHONY: picosat
-picosat:
- @if [ ! -e scripts/picosat-959/makefile ]; then \
- cd scripts/picosat-959 && ./configure; fi
- @if ! $(MAKE) -C scripts/picosat-959 -q; then \
- $(MAKE) -C scripts/picosat-959; fi
+$(HELPER_PROGRAMS):
+ $(MAKE) -C $(dir $@)
+
+scripts/picosat-959/makefile:
+ cd $(dir $@) && ./configure
+
+scripts/picosat-959/picosat: scripts/picosat-959/makefile