[Gretl-users] the scriptopt-option

Dear all, I tried to run a script using the bash with the --scripopt option (latest git using ubuntu 17.04). The example script looks like: <hansl> clear # needs to be deactivated to work set verbose off scalar p = scriptopt print p </hansl> When the clear command is inserted, gretl stops saying <output> The symbol 'scriptopt' is undefined gretlcli: error executing script: halting </output> Is this intended, or a bug? Best, Artur