diff options
author | Prasenjit Saha <psaha@physik.uzh.ch> | 2019-06-28 11:15:48 +0200 |
---|---|---|
committer | Prasenjit Saha <psaha@physik.uzh.ch> | 2019-06-28 11:16:46 +0200 |
commit | 73cd532901865fe0b3a53c3e526ab5f7bd7d3122 (patch) | |
tree | a05b7907ac36ac2990616783bcea1b5787a09e32 /configure | |
parent | 5761eecf6c9018f204c9b3a4e6b9313d24ae7d16 (diff) |
Corrections to basic build
Several corrections were necessary in the basic build: 1) the
version of GCC on some systems includes an `_' which would cause
a crash when building the PDF. 2) libcharset had to be manually
added to the Git build.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1140,6 +1140,7 @@ function prepare_name_version() { # Put them all in one paragraph. .local/bin/cat $@ \ | .local/bin/sort \ + | sed 's/_/\\_/' \ | .local/bin/awk 'NF>0 { \ c++; \ if(c==1) \ |