From: bdemsky <bdemsky@uci.edu>
Date: Thu, 15 Jun 2017 06:00:28 +0000 (-0700)
Subject: change tabbing
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=f146fe3406e020856ef3e0eccdb31e57e7be9895;p=satune.git

change tabbing
---

diff --git a/src/Makefile b/src/Makefile
index a0fe1b6..a5408be 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -6,6 +6,8 @@ OBJ_DIR = bin
 
 C_SOURCES := set.c mutableset.c element.c function.c order.c table.c predicate.c boolean.c csolver.c structs.c constraint.c inc_solver.c
 
+TABBING_H := boolean.h classlist.h common.h config.h constraint.h csolver.h element.h function.h inc_solver.h mutableset.h mymemory.h ops.h order.h predicate.h set.h solver_interface.h structs.h table.h
+
 OBJECTS := $(CPP_SOURCES:%.cc=$(OBJ_DIR)/%.o) $(C_SOURCES:%.c=$(OBJ_DIR)/%.o)
 
 CPPFLAGS += -Iinclude -I.
@@ -63,7 +65,7 @@ tags:
 
 tabbing:
 	uncrustify -c C.cfg --no-backup *.c
-	uncrustify -c C.cfg --no-backup *.h
+	uncrustify -c C.cfg --no-backup $(TABBING_H)
 
 .PHONY: $(PHONY)