Skip to content

Commit 55f043d

Browse files
committed
Merge pull request #3802 from rfw/fix_pandoc_configure
Check pandoc's version correctly for >=1.10.
2 parents b03c71f + 2c1ed18 commit 55f043d

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

configure

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -362,10 +362,10 @@ fi
362362

363363
if [ ! -z "$CFG_PANDOC" ]
364364
then
365-
PV=$(pandoc --version | awk '/^pandoc/ {print $2}')
366-
if [ "$PV" \< "1.8" ]
365+
read PV_MAJOR PV_MINOR <<<$(pandoc --version | awk '/^pandoc/ {split($2, PV, "."); print PV[1] " " PV[2]}')
366+
if [ "$PV_MAJOR" -lt "1" ] || [ "$PV_MINOR" -lt "8" ]
367367
then
368-
step_msg "pandoc $PV is too old. disabling"
368+
step_msg "pandoc $PV_MAJOR.$PV_MINOR is too old. disabling"
369369
BAD_PANDOC=1
370370
fi
371371
fi

0 commit comments

Comments
 (0)