diff --git a/gpkit/tests/jenkins.sh b/gpkit/tests/jenkins.sh new file mode 100644 index 000000000..293616308 --- /dev/null +++ b/gpkit/tests/jenkins.sh @@ -0,0 +1,8 @@ +#!/bin/bash + +#The jenkins testing script +# Modification 1 +# Modification 2 +# Modification 3 +# Modification 4 +# Modification 5