OpenE2K/rust
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Merge pull request #3802 from rfw/fix_pandoc_configure

Browse Source 
Check pandoc's version correctly for >=1.10.
This commit is contained in:
Tim Chevalier 2012-10-18 12:25:11 -07:00
commit 55f043d256
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
configure vendored
View File

@ -362,10 +362,10 @@ fi
if [ ! -z "$CFG_PANDOC" ] if [ ! -z "$CFG_PANDOC" ]
then then
PV=$(pandoc --version | awk '/^pandoc/ {print $2}') read PV_MAJOR PV_MINOR <<<$(pandoc --version | awk '/^pandoc/ {split($2, PV, "."); print PV[1] " " PV[2]}')
if [ "$PV" \< "1.8" ] if [ "$PV_MAJOR" -lt "1" ] || [ "$PV_MINOR" -lt "8" ]
then then
step_msg "pandoc $PV is too old. disabling" step_msg "pandoc $PV_MAJOR.$PV_MINOR is too old. disabling"
BAD_PANDOC=1 BAD_PANDOC=1
fi fi
fi fi