Merge remote-tracking branch 'origin/dev' into temp

cumulated changes recently
pull/159/head
cfig 8 months ago
commit 763427af01
No known key found for this signature in database
GPG Key ID: B104C307F0FDABB7

@ -68,7 +68,7 @@ fun main(args: Array<String>) {
CompileCommand().run(args[1], args[2]) CompileCommand().run(args[1], args[2])
} }
if (args[0] == "apps") { if (args[0] == "apps") {
AppList.retrieveList() //AppList.retrieveList()
} }
if (args[0] == "x") { if (args[0] == "x") {
AMS.computeRankAndBucket(AMS.getProcRank(), AMS.getStandbyBucket2()) AMS.computeRankAndBucket(AMS.getProcRank(), AMS.getStandbyBucket2())

Loading…
Cancel
Save