Don't run make dist for freeradius
authorSam Hartman <hartmans@painless-security.com>
Fri, 10 May 2013 10:14:12 +0000 (06:14 -0400)
committerSam Hartman <hartmans@painless-security.com>
Fri, 10 May 2013 10:14:12 +0000 (06:14 -0400)
builder

diff --git a/builder b/builder
index 0eb12e4..369db0e 100755 (executable)
--- a/builder
+++ b/builder
@@ -80,8 +80,10 @@ def build(package):
         if dist:
             try: os.mkdir('doc/api')
             except: pass
-            run_cmd(root_command +' make dist-gzip', shell=True)
-            run_cmd('cp *.tar.gz ' +dist_dir, shell=True)
+            #Currently freeradius's make dist is broken
+            if not package == "freeradius-server":
+                run_cmd(root_command +' make dist-gzip', shell=True)
+                run_cmd('cp *.tar.gz ' +dist_dir, shell=True)
         run_cmd(schroot_command + ' make -j3', shell=True)
 
 def make_install(package):