You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Update the makefile to regenerate makedependfile when the developer changes the content of makedependfile.SH
Before the pull request:
touch makedepend_file.SH && make
=> Nothing happens
After the pull request:
touch makedependfile.SH && make
=> makedependfile is regenerated
=> *.depends are regenerated
=> makefile is regenerated with dependencies
Adding makedependfile.SH in variable SH of Makefile.SH creates the target makedependfile in generated makefile:
diff before/perl5/Makefile after/perl5/Makefile
785a786,788
> makedependfile: makedependfile.SH config.sh
> $(SHELL) makedependfile.SH
>
It has also the consequence that makedependfile is deleted with the rest of generated files: rm -rf $(addedbyconf)
0 commit comments