Skip to content
  • Andreas Klebinger's avatar
    awards: Generate stdout using a boot.sh script and ghci · 62c4dac3
    Andreas Klebinger authored
    We used to use perl and run it directly from the make file.
    This doesn't really work for the shake system. Instead we can now
    invoke boot.sh for both systems which will generate the stdout files.
    
    Also got rid of the perl dependency in the process and use ghci instead.
    62c4dac3