aboutsummaryrefslogtreecommitdiff
path: root/reproduce/config/pipeline/INPUTS.mk
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2019-04-04 18:19:20 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2019-04-04 18:27:25 +0100
commite7b79c192bfac6c11c5f3c30fa28e8e0172c9a29 (patch)
tree6951bbc5d638fcb2a16b677c98bc380e110ae665 /reproduce/config/pipeline/INPUTS.mk
parent118e6c6d3a950e4def65c64772b38b7952039b9c (diff)
Better option checks and values in the configure script
Double quotes were placed around the checked values so they can have space within them. Also, some checks were added for options that don't accept a value.
Diffstat (limited to 'reproduce/config/pipeline/INPUTS.mk')
0 files changed, 0 insertions, 0 deletions