browsing at commit = dfcef77a5b3131fcfa3416788050d54fd426bb13
raw · blame · history
#! /bin/bash set +e cd src make USECPPDB=0