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