tree cf6eb45821091509c81dae5f16a85e8dd3f312f7
parent 0bf562c8be5886bfdb9afd40a2ced4510e9e8c40
author Stephan Herrmann <stephan@cs.tu-berlin.de> 1338668106 +0200
committer Stephan Herrmann <stephan@cs.tu-berlin.de> 1338668106 +0200

configure to build against SDK 4.2RC3 plus extend the script to
more easily create these changes in the future.