在SQL脚本中使用$$分隔符

Question

我有一个带有$$字符的SQL脚本文件无法识别。我该如何运行这个脚本？

delimiter $$

CREATE DATABASE `prototipo` /*!40100 DEFAULT CHARACTER SET latin1 */$$

delimiter $$

USE `prototipo`$$

delimiter $$

CREATE TABLE `contract_type` (
  `identifier` varchar(50) NOT NULL,
  `description` varchar(50) NOT NULL,
  PRIMARY KEY (`identifier`)
) ENGINE=InnoDB DEFAULT CHARSET=latin1$$

delimiter $$

CREATE TABLE `customers` (
  `customer_id` varchar(128) NOT NULL,
  `first_name` varchar(50) DEFAULT NULL,
  `last_name` varchar(50) DEFAULT NULL,
  `ts` timestamp NOT NULL DEFAULT CURRENT_TIMESTAMP ON UPDATE CURRENT_TIMESTAMP,
  PRIMARY KEY (`customer_id`)
) ENGINE=InnoDB DEFAULT CHARSET=latin1$$