]> _ Git - alire.git/commit
projects / alire.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2468a94) | patch
Better random generation of temp file names (#1414)
authorAlejandro R Mosteo <amosteo@unizar.es>
Tue, 1 Aug 2023 10:24:10 +0000 (12:24 +0200)
committerGitHub <noreply@github.com>
Tue, 1 Aug 2023 10:24:10 +0000 (12:24 +0200)
commit8e667131389eace99c0ca2769a7603c8739e8a1c
tree9fca714d6bdaf3c47843042d16fa6ac2750b49catree | snapshot
parent2468a94de4ca3c138a032621ee184f8edf8318eccommit | diff
Better random generation of temp file names (#1414)

The issue was with the default random seed being the same during a whole
second, so batch runs in the testsuite did clash from time to time.
src/alire/alire-directories.adb diff | blob | history
src/alire/alire-directories.ads diff | blob | history
Fork of https://github.com/alire-project/alire to add shell-style quoting (pull request: https://github.com/alire-project/alire/pull/1993)