diff options
Diffstat (limited to 'jenkins/build-name')
| -rw-r--r-- | jenkins/build-name | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/jenkins/build-name b/jenkins/build-name new file mode 100644 index 0000000..0988fde --- /dev/null +++ b/jenkins/build-name @@ -0,0 +1 @@ +#5-binutils-gcc-gdb-newlib-qemu-R0 |