From 527ca132e03e7ca319817d70578491b818e3f8b4 2015-01-30 21:57:36 From: Min RK Date: 2015-01-30 21:57:36 Subject: [PATCH] fix xargs call on BSD `-r` is GNU-only --- diff --git a/docs/Makefile b/docs/Makefile index 84716be..cae3a1d 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -40,7 +40,7 @@ clean_api: clean: clean_api -rm -rf build/* dist/* - -cd $(SRCDIR)/config/options; cat generated | xargs -r rm -f + -cd $(SRCDIR)/config/options; test -f generated && cat generated | xargs rm -f -rm -rf $(SRCDIR)/config/options/generated -rm -f $(SRCDIR)/interactive/magics-generated.txt