diff options
| author |  Joey Hess <joey@kitenet.net> | 2013-11-22 15:25:42 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2013-11-22 15:25:42 -0400 |
| commit | 9401c0320c013592fa3233662251935063a7d696 (patch) | |
| tree | 5f6057dca4a6bd06447b9239a49ddb5c21dc7d3b /Build | |
| parent | 58c80e729de583364d5f1a5313d2bfc598b4d319 (diff) | |
no-op change to ensure configure is re-run on autobuilders to pick up UPGRADE_LOCATION
Diffstat (limited to 'Build')
| -rw-r--r-- | Build/Configure.hs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Build/Configure.hs b/Build/Configure.hs index 8884d57db..aeff256b4 100644 --- a/Build/Configure.hs +++ b/Build/Configure.hs @@ -137,4 +137,3 @@ androidConfig c = overrides ++ filter (not . overridden) c ] overridden (Config k _) = k `elem` overridekeys overridekeys = map (\(Config k _) -> k) overrides - |