diff --git a/Scripts/developer_scripts/create_internal_module b/Scripts/developer_scripts/create_internal_module index 8066bcd2bfe..f545bd3652a 100755 --- a/Scripts/developer_scripts/create_internal_module +++ b/Scripts/developer_scripts/create_internal_module @@ -682,7 +682,7 @@ compile_and_run() fi echo "Executing $1 ... " echo - ulimit -t 1200 2> /dev/null + ulimit -t 3600 2> /dev/null if eval $COMMAND > $OUTPUTFILE 2>&1 ; then echo " succesful execution of $1" >> $ERRORFILE else diff --git a/Scripts/developer_scripts/create_internal_release b/Scripts/developer_scripts/create_internal_release index 82e951b01d6..f68e82d67df 100755 --- a/Scripts/developer_scripts/create_internal_release +++ b/Scripts/developer_scripts/create_internal_release @@ -745,7 +745,7 @@ compile_and_run() fi echo "Executing $1 ... " echo - ulimit -t 1200 2> /dev/null + ulimit -t 3600 2> /dev/null if eval $COMMAND > $OUTPUTFILE 2>&1 ; then echo " succesful execution of $1" >> $ERRORFILE else