Add to config as int for now.

svn-id: r10012

2 files changed, 5 insertions, 2 deletions

diff --git a/common/gameDetector.cpp b/common/gameDetector.cpp
index a3fd82a58b..d918169b5a 100644
--- a/common/gameDetector.cpp
+++ b/common/gameDetector.cpp
@@ -280,7 +280,9 @@ GameDetector::~GameDetector() {
 void GameDetector::updateconfig() {
 	const char *val;
 
-        _platform = g_config->getBool("amiga", _platform);
+	_amiga = g_config->getBool("amiga", _amiga);
+
+	_platform = g_config->getInt("platform", _platform);
 
 	_save_slot = g_config->getInt("save_slot", _save_slot);
 
@@ -513,7 +515,7 @@ void GameDetector::parseCommandLine(int argc, char **argv) {
 					else
 						goto ShowHelpAndExit;
 
-					g_config->setBool ("platform", _platform);
+					g_config->setInt ("platform", _platform);
 					break;
 				} 
 
diff --git a/common/gameDetector.h b/common/gameDetector.h
index 68c74cdede..347539d74d 100644
--- a/common/gameDetector.h
+++ b/common/gameDetector.h
@@ -123,6 +123,7 @@ public:
 	int _master_volume;
 	int _music_volume;
 	int _sfx_volume;
+	bool _amiga;
 	int _platform;
 	int _language;