[runtime] Added gen-seq-points-file= deprecated option
authorMarcos Henrich <marcos.henrich@xamarin.com>
Wed, 13 Jul 2016 10:17:36 +0000 (11:17 +0100)
committerMarcos Henrich <marcos.henrich@xamarin.com>
Wed, 13 Jul 2016 10:17:36 +0000 (11:17 +0100)
commit01600bef501f9828f70e2478f41e08a45ba36970
tree41d6df198a63acf744a3fe313d92542eea9075d8
parent209c4246adbba994dfcecbc1e93481016b8d9f44
[runtime] Added gen-seq-points-file= deprecated option

Added gen-seq-points-file= back with deprecated message to avoid crashes
in application still using it.
mono/mini/aot-compiler.c