diff options
author | Alfredo Tupone <tupone@gentoo.org> | 2020-08-10 22:45:04 +0200 |
---|---|---|
committer | Alfredo Tupone <tupone@gentoo.org> | 2020-08-10 22:45:04 +0200 |
commit | c81e2b01fcd52a8016ae039f6c3c834887252fdd (patch) | |
tree | c0c6ccde1618535db2760d6fc370e9017f1c9d3f /dev-python/quex/files | |
parent | media-gfx/imagemagick: drop 7.0.10-26 (diff) | |
download | gentoo-c81e2b01fcd52a8016ae039f6c3c834887252fdd.tar.gz gentoo-c81e2b01fcd52a8016ae039f6c3c834887252fdd.tar.bz2 gentoo-c81e2b01fcd52a8016ae039f6c3c834887252fdd.zip |
dev-python/quex: bump to 0.71.0
Closes: https://bugs.gentoo.org/735612
Package-Manager: Portage-2.3.103, Repoman-2.3.23
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-python/quex/files')
-rw-r--r-- | dev-python/quex/files/quex-0.71.0-gentoo.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/dev-python/quex/files/quex-0.71.0-gentoo.patch b/dev-python/quex/files/quex-0.71.0-gentoo.patch new file mode 100644 index 000000000000..80eb411f5a0e --- /dev/null +++ b/dev-python/quex/files/quex-0.71.0-gentoo.patch @@ -0,0 +1,11 @@ +--- a/quex/DEFINITIONS.py 2017-12-13 21:48:52.887765325 +0100 ++++ b/quex/DEFINITIONS.py 2017-12-13 21:52:29.805877359 +0100 +@@ -57,7 +57,7 @@ + global QUEX_INSTALLATION_DIR + + # -- Try to acces the file 'quex-exe.py' in order to verify +- if os.access(QUEX_INSTALLATION_DIR + "/quex-exe.py", os.F_OK) == False: ++ if False: + print("error: Environment variable 'QUEX_PATH' does not point to") + print("error: a valid installation directory of quex.") + print("error: current setting of 'QUEX_PATH':") |