diff options
Diffstat (limited to '')
-rw-r--r-- | c/src/exec/Makefile.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/c/src/exec/Makefile.in b/c/src/exec/Makefile.in index 4876b579f9..80ee6af6ba 100644 --- a/c/src/exec/Makefile.in +++ b/c/src/exec/Makefile.in @@ -22,6 +22,8 @@ POSIX_DIRS = $(POSIX_DIRS_$(HAS_POSIX_API)_V) SUB_DIRS = score rtems $(POSIX_DIRS) sapi wrapup +CLOBBER_ADDITIONS += config.log config.cache + Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status cd $(top_builddir) \ && CONFIG_FILES=$@ CONFIG_HEADERS= $(SHELL) ./config.status |