From 3ba477faff6f820099c1d2e0e076ca8d5f55dce1 Mon Sep 17 00:00:00 2001
From: jrm <jrm@fb.com>
Date: Wed, 9 Dec 2015 23:44:06 -0800
Subject: [PATCH] add more special characters that can appear in the list of
 filenames generated by Buck

Reviewed By: sblackshear

Differential Revision: D2742565

fb-gh-sync-id: db00554
---
 infer/src/java/jVerboseLexer.mll | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/infer/src/java/jVerboseLexer.mll b/infer/src/java/jVerboseLexer.mll
index 9252bc607..4f1fe16c2 100644
--- a/infer/src/java/jVerboseLexer.mll
+++ b/infer/src/java/jVerboseLexer.mll
@@ -1,3 +1,12 @@
+(*
+ * Copyright (c) 2015 - present Facebook, Inc.
+ * All rights reserved.
+ *
+ * This source code is licensed under the BSD style license found in the
+ * LICENSE file in the root directory of this source tree. An additional grant
+ * of patent rights can be found in the PATENTS file in the same directory.
+ *)
+
 {
   open JVerboseParser
 }
@@ -13,6 +22,8 @@ let minus = '-'
 let dot = '.'
 let hash = '#'
 let dollar = '$'
+let equal = '='
+let tilde = '~'
 
 let digit = ['0'-'9']
 let number = digit* | digit+ '.' digit* | digit* '.' digit+
@@ -22,7 +33,7 @@ let dir_sep = '/'
 
 let dot_java = dot "java"
 let dot_class = dot "class"
-let path = (char | dir_sep | underscore | minus | dot | hash | dollar)+
+let path = (char | dir_sep | underscore | minus | dot | hash | dollar | equal | tilde)+
 let source_basename = path dot_java
 let class_basename = path dot_class
 let source_filename = (dir_sep path | path)* source_basename