Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/satcheck-priv

[satcheck.git] / Makefile

diff --git a/Makefile b/Makefile
index 639f51ae2430b53199d1081aa39e3867f50bae8f..a5eb60fd66b6641357980208a7665bd528f8b790 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -87,6 +87,10 @@ tests: $(LIB_SO)
 PHONY += pdfs
 pdfs: $(patsubst %.dot,%.pdf,$(wildcard *.dot))
 
+tabbing:
+       uncrustify -c C.cfg --no-backup *.cc
+       uncrustify -c C.cfg --no-backup *.h
+
 .PHONY: $(PHONY)
 
 # A 1-inch margin PDF generated by 'pandoc'