diff options
author | Igor Pashev <pashev.igor@gmail.com> | 2019-11-19 17:35:47 +0300 |
---|---|---|
committer | Igor Pashev <pashev.igor@gmail.com> | 2019-11-19 17:35:47 +0300 |
commit | 03bebac19e6fef19299d7326d3ee41f8a7dd1316 (patch) | |
tree | bb413d22ada331790f08b7b9a592e5ab95cd8918 /debian/jdb.sh | |
parent | 94a19f31b81e9e7e295414fe2ad2302e0db25a08 (diff) | |
parent | 8f6c4b0033c72f8ac14694c419a99458339dd6a9 (diff) | |
download | gcc-9-03bebac19e6fef19299d7326d3ee41f8a7dd1316.tar.gz |
Merge tag 'debian/9.2.1-19'
Diffstat (limited to 'debian/jdb.sh')
-rw-r--r-- | debian/jdb.sh | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/debian/jdb.sh b/debian/jdb.sh deleted file mode 100644 index d14f139..0000000 --- a/debian/jdb.sh +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/sh - -# Placeholder script to fake a -# JDK compatible JAVA_HOME directory. - -echo >&2 "This script is only a placeholder." -echo >&2 "Some programs need a JDK rather than only a JRE to work." -echo >&2 "They test for this tool to detect a JDK installation, but" -echo >&2 "don't really need its functionality to work correctly." |