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