git.iko.soy/Idris-dev
on master help sign in
Idris-dev/test/scripts/timeout
17 lines 244 B history raw
1#!/usr/bin/env perl
3use strict;
4use File::Basename;
6sub Usage {
7 my $name = basename($0);
8 print STDERR "usage: $name seconds shell-command...\n";
9 exit 2;
12Usage if (scalar @ARGV) < 2;
14my $timeout = shift;
16alarm $timeout;
17exec @ARGV;