diff options
-rw-r--r-- | Makefile.rules | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/Makefile.rules b/Makefile.rules index 4908d4543f..e4b620b1ad 100644 --- a/Makefile.rules +++ b/Makefile.rules @@ -81,6 +81,21 @@ ifneq ($(strip $(BUILT_SOURCES)),) -$(Verb) $(RM) -f $(BUILT_SOURCES) endif +ifneq ($(BUILD_OBJ_ROOT),$(BUILD_SRC_ROOT)) +spotless: + $(Echo) Wiping out $(BUILD_OBJ_ROOT) and rebuilding configuration. + $(Verb) if test -x config.status ; then \ + $(MV) config.status .. ; \ + $(MV) mklib .. ; \ + $(RM) -rf * ; \ + $(MV) ../config.status . ; \ + $(MV) ../mklib . ; \ + ./config.status ; \ + else \ + $(EchoCmd) "make spotless" can only be run from $(BUILD_OBJ_ROOT); \ + fi +endif + $(BUILT_SOURCES) : $(ObjMakefiles) #------------------------------------------------------------------------ |