diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2020-03-20 17:25:23 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2020-03-20 17:25:23 -0700 |
| commit | ef20bfbd5b46a138c1fded6a89b9133bb84623c2 (patch) | |
| tree | 3d8a730fc4f0cac34f678c4fc264f1d8fc5242e2 | |
| parent | 855361ca1c780827310f3bf1ba742232cb612da3 (diff) | |
Add uninstall target to Makefile.
| -rw-r--r-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -46,6 +46,9 @@ $(BUILDDIR): install: $(BUILDDIR) $(MAKE) -C $(BUILDDIR) install +uninstall: $(BUILDDIR)/install_manifest.txt + xargs rm < $< + debug: mkdir -p $(BUILDDIR); \ cd $(BUILDDIR); \ |