diff options
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure index d56000b14e2..b0d0c3f29b8 100755 --- a/configure +++ b/configure @@ -701,8 +701,8 @@ probe CFG_ADB adb if [ ! -z "$CFG_PANDOC" ] then + # Extract "MAJOR MINOR" from Pandoc's version number PV_MAJOR_MINOR=$(pandoc --version | grep '^pandoc' | - # Extract "MAJOR MINOR" from Pandoc's version number sed -E 's/pandoc(.exe)? ([0-9]+)\.([0-9]+).*/\2 \3/') MIN_PV_MAJOR="1" |
