message: Enable all benchmarks
diff: # Brilift only supports core Bril for now, so we select those tests &
  # benchmarks.
  TESTS := ../test/interp/core/*.bril ../test/interp/float/*.bril ../test/interp/mem/*.bril
  -BENCHMARKS := $(shell grep -L 'ptr' ../benchmarks/*.bril)
  +BENCHMARKS := ../benchmarks/*.bril
  CFLAGS := $(if $(TARGET),-target $(TARGET))
  BRILFLAGS := $(if $(TARGET),-t $(TARGET))
  