diff options
| author | Erich Eckner <git@eckner.net> | 2018-06-18 10:58:18 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-06-18 10:58:18 +0200 |
| commit | 18dd6f7eb72ded5de3334a6f76765369fceb29e3 (patch) | |
| tree | 8284cc069e90d056ee07ee78c4a3e1c20d7c8855 /misc | |
| parent | e98fab3592285a90a7071f6d72c5aec1ec2100b6 (diff) | |
| download | builder-18dd6f7eb72ded5de3334a6f76765369fceb29e3.tar.xz | |
misc/database-layout.dump: new failure type "vcs-source"
Diffstat (limited to 'misc')
| -rw-r--r-- | misc/database-layout.dump | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/misc/database-layout.dump b/misc/database-layout.dump index a4eb3ff..e85e279 100644 --- a/misc/database-layout.dump +++ b/misc/database-layout.dump @@ -747,7 +747,8 @@ INSERT INTO `fail_reasons` VALUES (8,'run-as-root','==> ERROR: Running makepkg as root is not allowed as it can cause permanent,',1), (9,'unknown','.*',100), (10,'pacman','==> ERROR: Failed to install all packages',5), - (11,'unclean-chroot','==> ERROR: \'.*\' does not appear to be an Arch chroot.',5); + (11,'unclean-chroot','==> ERROR: \'.*\' does not appear to be an Arch chroot.',5), + (12,'vcs-source','==> ERROR: Failure while creating working copy of .*',5); INSERT INTO `repositories` VALUES (1,'core',1,'1',2), (2,'extra',1,'1',2), |