Make our CMake options properly cached values.
authorManuel Nickschas <sputnick@quassel-irc.org>
Tue, 17 Jun 2008 19:21:50 +0000 (21:21 +0200)
committerManuel Nickschas <sputnick@quassel-irc.org>
Tue, 17 Jun 2008 19:21:50 +0000 (21:21 +0200)
This way, CMake will remember the values we specify on the command
line, plus it is possible to edit them via cmake -i or various GUIs.


No differences found