diff options
| author | Paul Selkirk <paul@psgd.org> | 2020-03-09 15:49:14 -0400 |
|---|---|---|
| committer | Paul Selkirk <paul@psgd.org> | 2020-03-09 15:49:14 -0400 |
| commit | 3189a37313b19c994482e78589072519ce6b9ac9 (patch) | |
| tree | 30849f86de1921d1c8940b344b997a6f726d9342 | |
| parent | 269fc4e58f616a2cf1c318f494ec18a52991da8c (diff) | |
| -rw-r--r-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -54,6 +54,9 @@ clean: distclean: clean rm -f TAGS +sandblast: distclean + git submodule deinit -f . + ${HDR}: git submodule update --init |