[Unison-hackers] Building Unison GUI on OSX 10.6

[Alan Schmitt]

On Sun, Jul 17, 2011 at 9:26 PM, Benjamin C. Pierce
<bcpierce at cis.upenn.edu> wrote:
> P.S.  Not sure whether this bit is needed...
>
>> +  (* Extract any command line profile or roots, and whether batch was set *)
>>   let clprofile = ref None in
>>   begin
>> +    let args = Prefs.scanCmdLine Uicommon.usageMsg in
>> +    (try
>> +      match Util.StringMap.find "batch" args with
>> +     | ["true"] -> Prefs.set Globals.batch true
>> +     | _ -> ()
>> +    with Not_found -> ());
>
> ... since -batch doesn't make much sense without also giving either two roots or a profile on the command line.

I'll work on this logic either tonight or later next week (I'm
traveling tomorrow). I'll make sure "batch" only has an effect when
either roots or a profile are sate.

Alan