diff options
-rw-r--r-- | include.mk | 8 |
1 files changed, 7 insertions, 1 deletions
@@ -166,4 +166,10 @@ run: $(call $(PROG)/$@,) reset: - @$(RESET_FUNC) + @if [ -n "$(RESET_FUNC)" ]; then \ + if [ -x "$(RESET_FUNC)" ]; then \ + "$(RESET_FUNC)"; \ + else \ + echo "WARNING: ignoring non-existing or non-executable reset script"; \ + fi \ + fi |