Merge pull request #1302 from N-R-K/makefile_rebuild

rebuild if Makefile changes
This commit is contained in:
Arun 2022-02-04 08:57:40 +05:30 committed by GitHub
commit 866612bfda
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -177,7 +177,7 @@ endif
all: $(BIN)
$(BIN): $(SRC) $(HEADERS)
$(BIN): $(SRC) $(HEADERS) Makefile
@$(MAKE) --silent prepatch
$(CC) $(CPPFLAGS) $(CFLAGS) $(LDFLAGS) -o $@ $(GETTIME_C) $< $(LDLIBS)
@$(MAKE) --silent postpatch