Changeset 21778 for misc

Show
Ignore:
Timestamp:
08/04/08 15:50:06 (5 months ago)
Author:
moritz
Message:

[evalbot] new location of pugs binary

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • misc/evalbot/evalbot.pl

    r21718 r21778  
    7878            }, 
    7979            pugs => { 
    80                 cmd_line    => 'PUGS_SAFEMODE=true /home/evalenv/.cabal/bin/pugs %program >> %out 2>&1', 
     80                cmd_line    => 'PUGS_SAFEMODE=true /home/evalenv/pugs/pugs %program >> %out 2>&1', 
    8181            }, 
    8282            yap6 => \&exec_yap6,