etc/profile.d/functions

diff --git a/etc/profile.d/functions b/etc/profile.d/functions
index a385b75ec58821210144a924e43d767b6c71f615..4e6945bb21c8a7f74f654f5f463a1261f559cbbf 100644 (file)
--- a/etc/profile.d/functions
+++ b/etc/profile.d/functions
@@ -5,7 +5,7 @@
 #################################################################################
 if ! which timeout 1>/dev/null; then
 timeout() {
-  perl -e 'BEGIN{$|=1}; alarm(shift @ARGV); exec join(" ",@ARGV)' -- $@
+  perl -e 'BEGIN{$|=1}; $SIG{ALRM}=sub{exit 1}; alarm(shift @ARGV); system join(" ",@ARGV)' -- $@
 }
 fi