rakelib/support.rb
changeset 102 fc572bd895f2
parent 88 112075e99cef
child 137 e665031cade7
--- a/rakelib/support.rb	Mon Dec 12 22:43:48 2016 +0000
+++ b/rakelib/support.rb	Tue Dec 13 13:33:24 2016 +0000
@@ -41,10 +41,8 @@
 # stc and librun repository so the build will fail. 
 def core_developer?
   # JV's box: jv@..., vranyj1@...
-  if (ENV['USER'] == 'jv') or (ENV['USER'] == 'vranyj1')
-    return true
-  end
-  if (ENV['USERNAME'] == 'jv') or (ENV['USERNAME'] == 'vranyj1')
+  user = ENV['USER'] || ENV['USERNAME']
+  if (user == 'jv') or (user == 'vranyj1')
     return true
   end
   return false