diff options
| author | simon <none@none> | 2013-09-09 13:19:47 -0700 |
|---|---|---|
| committer | simon <none@none> | 2013-09-09 13:19:47 -0700 |
| commit | 2c1d89c57ec21e4790eb14066d2291282a1000b4 (patch) | |
| tree | 7fcab07f3fe2e7d0145d8d901dd0ff2c33f5d978 /scripts | |
| parent | e7ac4695e31821118dd1bc9ddc95f46f012abbda (diff) | |
| parent | 980802e46859dc31f14d20e558a4e955e6976f48 (diff) | |
Merge fix for STORM-1552 - corrupt GPU table file
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/gpu_table_tester | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/gpu_table_tester b/scripts/gpu_table_tester index 9bc958636d..0fe3e9e8f7 100755 --- a/scripts/gpu_table_tester +++ b/scripts/gpu_table_tester @@ -73,6 +73,10 @@ die "Must specify a --gpu-table <gpu_table.txt> value" open(GPUS, "<$GpuTable") || die "Failed to open gpu table '$GpuTable':\n\t$!\n"; +my $FirstLine = <GPUS>; +die "First line of gpu table does not begin with '//GPU_TABLE'" + unless $FirstLine =~ m|^//GPU_TABLE|; + # Parse the GPU table into these tables, indexed by the name my %NameLine; # name -> line number on which a given name was found (catches duplicate names) my %RecognizerLine; # name -> line number on which a given name was found (catches duplicate names) |