From a8a75f48d25c3edda18a11aaef3cedea22b785a8 Mon Sep 17 00:00:00 2001
From: kaetemi <kaetemi@gmail.com>
Date: Thu, 20 Feb 2014 19:26:33 +0100
Subject: [PATCH] Fix behaviour

---
 workspace/projects.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/workspace/projects.py b/workspace/projects.py
index e975c82..6584bd9 100644
--- a/workspace/projects.py
+++ b/workspace/projects.py
@@ -102,7 +102,9 @@ InstallShardDataPrimitivesDirectories += [ [ "data_mainland_common_primitives",
 InstallShardDataPrimitivesDirectories += [ [ "data_newbieland_primitives", [ "newbieland" ] ] ]
 
 # [ [ "<target_package>", [ "<target_executable>", "<source_executable>" ], [ "<default_config>", "<default_config>" ], [ "<data_file>", "<data_file>" ] ] ]
-psFileList = os.listdir(InstallDirectory + "/data_shard")
+psFileList = [ ]
+if os.path.isdir(InstallDirectory + "/data_shard"):
+	psFileList = os.listdir(InstallDirectory + "/data_shard")
 psDatasets = [ "data_shard/datasets.packed_sheets" ]
 psIOS = [ "data_shard/ios_sheets.packed_sheets" ]
 psGPMS = [ "data_shard/gpms.packed_sheets" ]