File tree Expand file tree Collapse file tree 1 file changed +5
-6
lines changed Expand file tree Collapse file tree 1 file changed +5
-6
lines changed Original file line number Diff line number Diff line change @@ -261,12 +261,6 @@ printTask "Running general commandline tests..."
261
261
262
262
inputFiles=" $( find " ${tdir} " -name ' input.*' -type f -exec printf " %s\n" " {}" \; ) "
263
263
inputCount=" $( echo " ${inputFiles} " | wc -l) "
264
- if (( ${inputCount} == 0 ))
265
- then
266
- printError " No input files found."
267
- exit 1
268
- fi
269
-
270
264
if (( ${inputCount} > 1 ))
271
265
then
272
266
printError " Ambiguous input. Found input files in multiple formats:"
@@ -277,6 +271,11 @@ printTask "Running general commandline tests..."
277
271
# Use printf to get rid of the trailing newline
278
272
inputFile=$( printf " %s" " ${inputFiles} " )
279
273
274
+ # If no files specified, assume input.sol as the default
275
+ if [ -z " ${inputFile} " ]; then
276
+ inputFile=" ${tdir} /input.sol"
277
+ fi
278
+
280
279
if [ " ${inputFile} " = " ${tdir} /input.json" ]
281
280
then
282
281
stdin=" ${inputFile} "
You can’t perform that action at this time.
0 commit comments