Yes, but I guess it is not needed since it is already unset in dorsal.sh. Feel free to remove it if you like.
Johannes On Wed, May 9, 2012 at 9:50 AM, Harish Narayanan <[email protected]> wrote: > And did you mean to reset CONFOPTS to null at the beginning of the file? > > Harish > > On 5/9/12 9:34 AM, [email protected] wrote: >> ------------------------------------------------------------ >> revno: 718 >> committer: Johannes Ring <[email protected]> >> branch nick: dorsal >> timestamp: Wed 2012-05-09 09:33:41 +0200 >> message: >> Minor fix. >> modified: >> FEniCS/packages/boost.package >> >> >> -- >> lp:dorsal >> https://code.launchpad.net/~dorsal-core/dorsal/main >> >> Your team Dorsal is subscribed to branch lp:dorsal. >> To unsubscribe from this branch go to >> https://code.launchpad.net/~dorsal-core/dorsal/main/+edit-subscription > > > _______________________________________________ > Mailing list: https://launchpad.net/~dorsal > Post to : [email protected] > Unsubscribe : https://launchpad.net/~dorsal > More help : https://help.launchpad.net/ListHelp _______________________________________________ Mailing list: https://launchpad.net/~dorsal Post to : [email protected] Unsubscribe : https://launchpad.net/~dorsal More help : https://help.launchpad.net/ListHelp
