From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Tue, 30 Apr 2013 14:10:38 +0000 (-0400)
Subject: add decision_attributes.h for make dist
X-Git-Tag: cvc5-1.0.0~7307
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2bce108ebe25f7a4b5996cf3fde5eda77564f52e;p=cvc5.git

add decision_attributes.h for make dist
---

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