From eda2a9e3fa9f90105ec4e773ccf33939ceeef00f Mon Sep 17 00:00:00 2001 From: Paulo Moura Date: Wed, 29 Jun 2016 15:42:48 +0100 Subject: [PATCH] Delete leftover debugging message in the `help` tool --- tools/help/help.lgt | 1 - 1 file changed, 1 deletion(-) diff --git a/tools/help/help.lgt b/tools/help/help.lgt index cca7283f6d..3e83f2978e 100644 --- a/tools/help/help.lgt +++ b/tools/help/help.lgt @@ -476,7 +476,6 @@ atom_concat('open "file://$LOGTALKHOME', Path, Command0), atom_concat(Command0, File, Command1), atom_concat(Command1, '" > /dev/null 2>&1', Command), - writeq(os::shell(Command)), nl, os::shell(Command) ; os::shell('uname -s | grep Linux 1> /dev/null') -> % assume we're running on Linux