diff options
author | Erich Eckner <git@eckner.net> | 2018-02-19 13:19:21 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-02-19 13:19:21 +0100 |
commit | 1ae41e0210ebc8d529cc02dc32c831432526de14 (patch) | |
tree | 3ce32eea0183c0a2bb180c9e2675295207d6ce29 | |
parent | 145f900d1a2c3ce03eb1b029c370d6c9f1588e64 (diff) | |
download | Make-1ae41e0210ebc8d529cc02dc32c831432526de14.tar.xz |
tools.pas: check for empty file name
-rw-r--r-- | tools.pas | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -109,6 +109,7 @@ end; function tDateienMitDaten.add(neu: tDateiMitDatum): longint; begin result:=inherited add(neu); + assert(neu.name<>'','Dateiname darf nicht leer sein!'); istSortiert:=false; end; |