diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-03-28 09:49:11 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-03-28 09:49:11 +0100 |
| commit | 115dcc7054f5934a2c8e26fd8a8eed5f3e29e9ce (patch) | |
| tree | c31afe35699960753f76770d6b0b4ea48af9f686 /dev-python/quex/files/quex-0.71.0-gentoo.patch | |
| parent | e292b671b113c2cc012beddad93a3df4f9410698 (diff) | |
gentoo auto-resync : 28:03:2023 - 09:49:10
Diffstat (limited to 'dev-python/quex/files/quex-0.71.0-gentoo.patch')
| -rw-r--r-- | dev-python/quex/files/quex-0.71.0-gentoo.patch | 11 |
1 files changed, 0 insertions, 11 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 deleted file mode 100644 index 80eb411f5a0e..000000000000 --- a/dev-python/quex/files/quex-0.71.0-gentoo.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- 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':") |