// workaround for tty output truncation upon process.exit() var exit = process.exit; process.exit = function() { var args = [].slice.call(arguments); process.once("uncaughtException", function() { (function callback() { if (process.stdout.bufferSize || process.stderr.bufferSize) { setTimeout(callback, 1); } else { exit.apply(process, args); } })(); }); throw exit; }; o' rowspan='2'>cgit logo index : guix
Wojtek's customized Guix
aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/patches/hdf-eos5-fortrantests.patch
AgeCommit message (Expand)Author