equal
deleted
inserted
replaced
46 if o == '-g': generate = 1 |
46 if o == '-g': generate = 1 |
47 |
47 |
48 userName = "craigdo/" |
48 userName = "craigdo/" |
49 repoName = "ns-3-ref-traces/" |
49 repoName = "ns-3-ref-traces/" |
50 |
50 |
|
51 print "Synchronizing reference traces." |
|
52 |
51 if not os.path.exists(repoName): |
53 if not os.path.exists(repoName): |
52 cloneCmd = "hg clone http://code.nsnam.org/" + userName + repoName + " >& /dev/null" |
54 cloneCmd = "hg clone http://code.nsnam.org/" + userName + repoName + " >& /dev/null" |
53 os.system(cloneCmd) |
55 os.system(cloneCmd) |
54 else: |
56 else: |
55 os.chdir(repoName) |
57 os.chdir(repoName) |
56 pullCmd = "hg pull http://code.nsnam.org/" + userName + repoName + " >& /dev/null" |
58 pullCmd = "hg pull http://code.nsnam.org/" + userName + repoName + " >& /dev/null" |
57 os.system(pullCmd) |
59 os.system(pullCmd) |
58 os.chdir("..") |
60 os.chdir("..") |
|
61 |
|
62 print "Done." |
59 |
63 |
60 bad = [] |
64 bad = [] |
61 |
65 |
62 if not testdir: |
66 if not testdir: |
63 testdir = os.path.join(os.curdir, "tests") |
67 testdir = os.path.join(os.curdir, "tests") |