diff options
Diffstat (limited to 'java/jdk12')
| -rw-r--r-- | java/jdk12/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/java/jdk12/Makefile b/java/jdk12/Makefile index 063573635c4a..54837c99d30c 100644 --- a/java/jdk12/Makefile +++ b/java/jdk12/Makefile @@ -125,7 +125,7 @@ pre-build: ${ECHO_MSG} "This is known to cause problems during bootstrapping."; \ exit 1; \ fi - @if [ `sysctl -n compat.linux.osname` != "Linux" ]; \ + @if [ `/sbin/sysctl -n compat.linux.osname` != "Linux" ]; \ then \ ${ECHO_MSG} "Please set the value of the sysctl compat.linux.osname"; \ ${ECHO_MSG} "to 'Linux' with the command:"; \ |