diff options
| -rw-r--r-- | .file-metadata | bin | 7946 -> 7946 bytes | |||
| -rwxr-xr-x | reproduce/software/shell/configure.sh | 4 |
2 files changed, 3 insertions, 1 deletions
diff --git a/.file-metadata b/.file-metadata Binary files differindex 5b28e1d..0559dea 100644 --- a/.file-metadata +++ b/.file-metadata diff --git a/reproduce/software/shell/configure.sh b/reproduce/software/shell/configure.sh index ca95a92..a0fc228 100755 --- a/reproduce/software/shell/configure.sh +++ b/reproduce/software/shell/configure.sh @@ -1320,9 +1320,11 @@ prepare_name_version () | .local/bin/sed '/^\s*$/d' \ | .local/bin/wc -l) - # Put them all in one paragraph. + # Put them all in one paragraph, while sorting them, commenting any + # possible underscores and removing blank lines. .local/bin/cat $@ \ | .local/bin/sort \ + | .local/bin/sed -e's|_|\\_|' \ | .local/bin/awk 'NF>0 { \ c++; \ if(c==1) \ |