mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-21 23:02:40 +00:00
2009-05-03 Bean <bean123ch@gmail.com>
* script/sh/execute.c (grub_script_execute_cmdif): Reset grub_errno after we get the result of if statement.
This commit is contained in:
1 parent
fc45fb586d
commit
038c5720de
2 files changed
+7
Reference in new issue
Block a user