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 /Makefile | |
parent | 855361ca1c780827310f3bf1ba742232cb612da3 (diff) |
Add uninstall target to Makefile.
Diffstat (limited 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); \ |