# HG changeset patch
# User Jan Vrany <jan.vrany@fit.cvut.cz>
# Date 1481402666 0
# Node ID e8a75e807ff219651e7227a192a50c921354dcc7
# Parent  33cf3197acb50f5de548da9d79692887fac6e01a
Oops, make sure `REPOSITORYSET` value is written to `config.rb`

diff -r 33cf3197acb5 -r e8a75e807ff2 rakelib/setup.rake
--- a/rakelib/setup.rake	Wed Dec 07 11:26:26 2016 +0000
+++ b/rakelib/setup.rake	Sat Dec 10 20:44:26 2016 +0000
@@ -52,6 +52,10 @@
   end
 end
 
+if not defined? REPOSITORYSET
+  REPOSITORYSET = (ENV['REPOSITORYSET'] || 'default')
+end
+
 if not File.exist? 'config.rb'
   if defined? PROJECT
     File.open('config.rb', 'w') do | f |
@@ -67,12 +71,10 @@
 COMMENT
       f.puts "PROJECT='#{PROJECT}' if not defined? PROJECT"
       f.puts "ARCH='#{ARCH}' if not defined? ARCH"
+      f.puts "REPOSITORYSET='#{REPOSITORYSET}' if not defined? REPOSITORYSET"
       if defined? PROJECT_DIRS
         f.puts "PROJECT_DIRS='#{PROJECT_DIRS}' if not defined? PROJECT_DIRS"
       end
-      if defined? REPOSITORYSET
-        f.puts "REPOSITORYSET='#{REPOSITORYSET}' if not defined? REPOSITORYSET"
-      end
     end
   end
 end
diff -r 33cf3197acb5 -r e8a75e807ff2 specs/repositories.rbspec
--- a/specs/repositories.rbspec	Wed Dec 07 11:26:26 2016 +0000
+++ b/specs/repositories.rbspec	Sat Dec 10 20:44:26 2016 +0000
@@ -22,8 +22,6 @@
 #    and repositories hosted at SWING as upstream repos. 
 #    
 #
-REPOSITORYSET = (ENV['REPOSITORYSET'] || 'default') if not defined? REPOSITORYSET
-
 case REPOSITORYSET 
 when 'default'
   repository :'exept:public' do