[Unison-hackers] Building Unison GUI on OSX 10.6

[Benjamin C. Pierce]

I don't think this hurts anything -- just probably not needed.

    - B

On Jul 17, 2011, at 3:38 PM, Alan Schmitt wrote:

> 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
> _______________________________________________
> Unison-hackers mailing list
> Unison-hackers at lists.seas.upenn.edu
> http://lists.seas.upenn.edu/mailman/listinfo/unison-hackers