comparison frontends/src/bridge/bridge_frontend.py @ 1100:2be46f391cfa

setup: SAT_INSTALL environment variable handles "clean" and "purge" options
author souliane <souliane@mailoo.org>
date Tue, 15 Jul 2014 13:37:50 +0200
parents f094583732de
children 069ad98b360d
comparison
equal deleted inserted replaced
1099:1baa116501fa 1100:2be46f391cfa