diff options
| author | Jakob Kaivo <jkk@ung.org> | 2019-02-09 16:36:37 -0500 |
|---|---|---|
| committer | Jakob Kaivo <jkk@ung.org> | 2019-02-09 16:36:37 -0500 |
| commit | 980fd082d4c4f9e7c834476696c05079221a11bf (patch) | |
| tree | 1029065c99b859b6bb055b10f696a798a495e574 | |
| parent | 8c0acc4814f5299cabc2c4d567ef891dd58f0738 (diff) | |
fix .DEFAULT
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,5 +1,5 @@ .POSIX: -.DEFAULT: all +.DEFAULT:; $(MAKE) all .SILENT: all headers include include config.mk |