From f4f4554cde2bee682c2d93419aeaee0ed00ff9d7 Mon Sep 17 00:00:00 2001 From: Aparajita Fishman Date: Tue, 10 Apr 2012 18:42:26 -0400 Subject: [PATCH] Fixed test of result of sudo() --- common.jake | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/common.jake b/common.jake index 7c7f18dc3..d40edfa7c 100644 --- a/common.jake +++ b/common.jake @@ -488,14 +488,14 @@ global.copyManPage = function(/*String*/ name, /*int*/ section) { if (!FILE.isDirectory(manDir)) { - if (!sudo(["mkdir", "-p", "-m", "0755", manDir])) + if (sudo(["mkdir", "-p", "-m", "0755", manDir])) { stream.print("\0red(Unable to create the man directory.\0)"); OS.exit(1); } } - if (!sudo(["cp", "-f", pageFile, manDir])) + if (sudo(["cp", "-f", pageFile, manDir])) stream.print("\0red(Unable to copy the man file.\0)"); } }