From 2bce108ebe25f7a4b5996cf3fde5eda77564f52e Mon Sep 17 00:00:00 2001
From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Tue, 30 Apr 2013 10:10:38 -0400
Subject: [PATCH] add decision_attributes.h for make dist

---
 src/theory/Makefile.am      | 1 +
 test/regress/run_regression | 2 ++
 2 files changed, 3 insertions(+)

diff --git a/src/theory/Makefile.am b/src/theory/Makefile.am
index b3760b239..bd7b881e1 100644
--- a/src/theory/Makefile.am
+++ b/src/theory/Makefile.am
@@ -9,6 +9,7 @@ DIST_SUBDIRS = $(SUBDIRS) example
 noinst_LTLIBRARIES = libtheory.la
 
 libtheory_la_SOURCES = \
+	decision_attributes.h \
 	logic_info.h \
 	logic_info.cpp \
 	output_channel.h \
diff --git a/test/regress/run_regression b/test/regress/run_regression
index 475cce431..084df6ac9 100755
--- a/test/regress/run_regression
+++ b/test/regress/run_regression
@@ -10,6 +10,8 @@
 # Runs benchmark and checks for correct exit status and output.
 #
 
+# ulimit -t 1    # For detecting long running regressions
+
 prog=`basename "$0"`
 
 if [ $# -lt 2 ]; then
-- 
2.30.2