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