Make testre work right

Change-Id: I8dbfdcc8842efbfadc6bb764ae5f82483cebfc59
Reviewed-on: http://fulliautomatix.ics.uci.edu:8443/232
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Reviewed-by: Ian Maxon <imaxon@uci.edu>
1 file changed