diff options
Diffstat (limited to 'devel/eclipse-titan/files/patch-help-ttcn3_help')
| -rw-r--r-- | devel/eclipse-titan/files/patch-help-ttcn3_help | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/devel/eclipse-titan/files/patch-help-ttcn3_help b/devel/eclipse-titan/files/patch-help-ttcn3_help new file mode 100644 index 000000000000..b6ff73141aa9 --- /dev/null +++ b/devel/eclipse-titan/files/patch-help-ttcn3_help @@ -0,0 +1,14 @@ +--- help/ttcn3_help.orig 2025-05-28 08:04:59 UTC ++++ help/ttcn3_help +@@ -32,7 +32,10 @@ if test "${TTCN3_DIR}" = "" + + # check for necessary environment variables + if test "${TTCN3_DIR}" = "" +-then echo "Error: TTCN3_DIR environment variable is not set"; exit 1; ++then if test -d "%%TTCN3_DIR%%" ++ then TTCN3_DIR=%%TTCN3_DIR%% ++ else echo "Error: TTCN3_DIR environment variable is not set"; exit 1; ++ fi + fi + + # file extension for help files |