Definition of pool petrol in US English:

pool petrol

noun

historical
  • The unbranded petrol available as a ration in Britain during and just after the Second World War (1939–45).

Origin

1930s; earliest use found in The Times.