diff options
Diffstat (limited to 'platforms')
| -rw-r--r-- | platforms/barebox.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/platforms/barebox.in b/platforms/barebox.in index 87033c442..702828f81 100644 --- a/platforms/barebox.in +++ b/platforms/barebox.in @@ -15,6 +15,10 @@ config BAREBOX_VERSION string default "2010.10.0" +config BAREBOX_MD5 + prompt "barebox source md5sum" + string + config BAREBOX_CONFIG prompt "config file" string |